Author: IFIP TC6 WG6.1 Joint International Conference On Formal Description Techniques For Distributed Systems And Communication Protocols And Protocol Specification, Testing And Verification (2000 Pisa, Italy)

Author's info and books

Information about author IFIP TC6 WG6.1 Joint International Conference On Formal Description Techniques For Distributed Systems And Communication Protocols And Protocol Specification, Testing And Verification (2000 Pisa, Italy) from several data sources.

Author Search

Search for any author

AI-generated bio of "IFIP TC6 WG6.1 Joint International Conference On Formal Description Techniques For Distributed Systems And Communication Protocols And Protocol Specification, Testing And Verification (2000 Pisa, Italy)":


Authors Results

Source: The Open Library

Authors called "IFIP TC6 WG6.1 Joint International Conference On Formal Description Techniques For Distributed Systems And Communication Protocols And Protocol Specification, Testing And Verification (2000 Pisa, Italy)"

Search results for authors called IFIP TC6 WG6.1 Joint International Conference On Formal Description Techniques For Distributed Systems And Communication Protocols And Protocol Specification, Testing And Verification (2000 Pisa, Italy) from The Open Library

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (2000 Pisa, Italy)

Basic Info:

  • Name: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (2000 Pisa, Italy)
  • Last Name: Italy)
Top of Page

Books Results

Source: The Open Library

IFIP TC6 WG6.1 Joint International Conference On Formal Description Techniques For Distributed Systems And Communication Protocols And Protocol Specification, Testing And Verification (2000 Pisa, Italy) Books

Books writen by author IFIP TC6 WG6.1 Joint International Conference On Formal Description Techniques For Distributed Systems And Communication Protocols And Protocol Specification, Testing And Verification (2000 Pisa, Italy) from The Open Library

1Formal methods for distributed system development

By

Book's cover

“Formal methods for distributed system development” Metadata:

  • Title: ➤  Formal methods for distributed system development
  • Author: ➤  
  • Language: English

Access and General Info:

  • First Year Published: 2000
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Formal methods for distributed system development at online marketplaces:


Top of Page